pocket file - German English Dictionary